Symposium on Principles of Programming Languages - PDFSEARCH.IO - Document Search Engine

Symposium on Principles of Programming Languages
Results: 54

#	Item
11	Matteo Cimini Curriculum Vitae Indiana University, CREST 420 North Walnut Street, Bloomington, IndianaPhone: + Add to Reading List Source URL: cimini.info Language: English - Date: 2016-01-07 02:20:33 Theoretical computer science Symposium on Principles of Programming Languages Operational semantics Cimini Computer science
12	On Chairing SIGPLAN June 24, 2015 It was an honor to be your chair for the last three years. Programming language research is a fascinating and lively area of intellectual investigation. New applications extend the bound Add to Reading List Source URL: janvitek.org Language: English - Date: 2015-12-20 10:11:42 Computer science Computing Software engineering Association for Computing Machinery Programming Language Design and Implementation International Conference on Functional Programming Symposium on Principles of Programming Languages SIGPLAN Federated Computing Research Conference Programming language theory SPLASH Actor model
13	The Functioning of ICFP Version 2015 On behalf of the ICFP Steering Committee Inspired by the Principles of POPL and the Practices of PLDI Add to Reading List Source URL: www.icfpconference.org Language: English - Date: 2015-11-28 23:17:14 Computer science Functional programming International Conference on Functional Programming Computing ICFP Programming Contest Programming Language Design and Implementation Symposium on Principles of Programming Languages
14	Norman Ramsey Associate Professor Department of Computer Science Tufts University Medford, MassachusettsEmail: Phone: + Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2013-11-25 15:39:10 Computer science Software engineering Computing Functional programming International Conference on Functional Programming Programming Language Design and Implementation Symposium on Principles of Programming Languages SIGPLAN ECL programming language Association for Computing Machinery Programming language theory
15	39th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPLPhiladelphia, PA, USA; January 25-27, 2012 http://www.cse.psu.edu/popl/12 Call for Papers Add to Reading List Source URL: www.cse.psu.edu Language: English - Date: 2012-01-16 18:08:35
16	Michael D. Adams Address: 350 S 600 E / Apt. 105 Salt Lake City, UThttp://michaeldadams.org Add to Reading List Source URL: michaeldadams.org Language: English - Date: 2015-12-10 14:21:34 Computer science Functional programming International Conference on Functional Programming Academia Symposium on Principles of Programming Languages Computing ACM SIGACT SIGPLAN David Ungar Programming Language Design and Implementation
17	Curriculum Vitae Ruzica Piskac address: The Department of Computer Science Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2015-01-29 21:52:24 Logic in computer science Symposium on Principles of Programming Languages International Semantic Web Conference Separation logic Automated reasoning Computer Aided Verification Abstract interpretation Vasant Honavar Vienna Summer of Logic
18	Ilya Sergey C URRICULUM V ITÆ February 2016 Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Computing Software engineering Computer programming Functional languages Scripting languages Symposium on Principles of Programming Languages International Conference on Functional Programming Object-oriented programming languages Programming Language Design and Implementation SIGPLAN Actor model European Symposium on Programming
19	CALL FOR PAPERS — PEPM’10 ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation Madrid, January 18–19, 2010 (Affiliated with POPL’10) Add to Reading List Source URL: www.program-transformation.org Language: English - Date: 2013-06-07 05:22:45 Computing Software engineering Computer science Evaluation strategy Incremental computing Partial evaluation Symposium on Principles of Programming Languages Association for Computing Machinery Domain-specific language Actor model
20	Research Overview Distributed Computing Generally speaking, we are interested in both theory and practice of computer science and information technology. In our group we cultivate a large breadth of areas, reflecting ou Add to Reading List Source URL: www.disco.ethz.ch Language: English - Date: 2014-09-26 08:33:40 Computing Wireless sensor network Computer science Distributed computing Symposium on Principles of Distributed Computing Conference on Embedded Networked Sensor Systems International Conference on Information Processing in Sensor Networks Symposium on Foundations of Computer Science Symposium on Theory of Computing International Colloquium on Automata Languages and Programming ACM SIGACT Dijkstra Prize

UPDATE